Proceedings Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software
نویسندگان
چکیده
منابع مشابه
Formal languages and analysis of contract-oriented software
In this work we present a visual model called CO Diagrams for the specification of e-contracts. This model includes specification of obligations, permissions, prohibitions, reparations and restrictions such as real time constraints. We also define a formal semantics of the visual model intended for the analysis and verification of the modeled contracts.
متن کاملFlacos'08 Workshop Proceedings Flacos'08 Second Workshop on Formal Languages and Analysis of Contract-oriented Software Acknowledgments a Framework for Contract-based Reasoning: Motivation and Application 77 Cc-pi: a Constraint-based Language for Contracts with Service Level Agreements
Service Level Agreements are a key issue in Service Oriented Computing. SLA contracts specify client requirements and service guarantees, with emphasis on Quality of Service (cost, performance, availability, etc.). We overview a simple model of contracts for QoS and SLAs that combines two basic programming paradigms: name-passing calculi and concurrent constraint programming. In the resulting c...
متن کاملProceedings of the Fifth Workshop on Scheme and Functional Programming
This paper describes and discusses two different Scheme documentation tools. The first is SchemeDoc, which is intended for documentation of the interfaces of Scheme libraries (APIs). The second is the Scheme Elucidator, which is for internal documentation of Scheme programs. Although the tools are separate and intended for different documentation purposes they are related to each other in sever...
متن کاملProceedings of the Fifth Program Visualization Workshop
Adapted, or customized systems, are usual in most application areas. Those systems are able to take some variables into account and, depending of their values, behave differently. Customized systems can be very sophisticated but, once their foreseen parameters are taken into account, their interfaces are consequently fixed, and no change takes place at runtime. By no change we mean that there i...
متن کاملProceedings of the Fifth International Workshop on Component - Oriented Programming ( WCOP 2000 ) Editors : Jan Bosch
Plug in Components with Behaviour 5. David Mennie and Bernard Pagurek (Carleton University, Canada) An Architecture to Support Dynamic Composition of Service Compo-
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2011
ISSN: 2075-2180
DOI: 10.4204/eptcs.68.0